Nilpotent Minimum Logic NM and Pretabularity

Valuations in Nilpotent Minimum Logic

A temporal semantics for Nilpotent Minimum logic

In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic of every instant is given by Ł3: a completeness theorem will be shown. This is the prosecution of the work initiated in [AGM08] and [ABM09], in whic...

Probability Measures in the Logic of Nilpotent Minimum

We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic. We show that states over the free n-generated NM-algebra NM n exactly correspond to integrals of elements of NM n with respect to Borel probability measures.

Free weak nilpotent minimum algebras

We give a combinatorial description of the finitely generated free weak nilpotent minimum algebras, and provide explicit constructions of normal forms.

Nilpotent Minimum Fuzzy Description Logics

We define the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.